Bibliographical Details
نویسنده
چکیده
I describe the challenges involved in designing and evaluating high assurance, verifiable voting systems. I describe the Pret a Voter scheme that provides voterverifiablity with minimal trust in officials, software etc. I also describe a number of threats against voting schemes and the extent to which they apply to the basic Pret a Voter scheme. Some enhancements to the scheme designed to counter those threats to which Pret a Voter is potentially vulnerable are presented. © 2007 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details
منابع مشابه
QCD Corrections to Hadronic Z and τ Decays ⋆
We present a brief (mainly bibliographical) report on recently performed calculations of terms of order O(α 4 s n 2 f) and O(α 4 s n 2 f m 2 q) for hadronic Z and τ decay rates. A few details about the analytical evaluation of the masters integrals appearing in the course of calculations are presented.
متن کاملComputing Science Bibliographical Details a Chemical Process Development Case Study as a Source of Requirements for the Gold Project
This paper outlines a case study of an actual chemical development project run in collaboration with a number of chemical companies. A Virtual Organisation (VO) approach was adopted throughout the project as the necessary skills were not available in either the initiating company or a single contractor. The project has been used in the definition, development and deployment of the GOLD Project ...
متن کاملRODIN: Intermediate report on methodology
One aim of the Rodin project is to contribute formal methods which will underpin the creation of fault-tolerant systems. This intermediate report from WP2 (Methodology) describes progress during the second year of the Rodin project; it also discusses our plans for the final deliverable on methodology. © 2006 University of Newcastle upon Tyne. Printed and published by the University of Newcastle...
متن کاملGreek Manuscripts at the Wellcome Library in London: A Descriptive Catalogue
This article presents a new, detailed catalogue of the Greek manuscripts at the Wellcome Library in London. It consists of an introduction to the history of the collection and its scholarly importance, followed by separate entries for each manuscript. Each entry identifies the text(s) found in the respective manuscript - including reference to existing printed edition(s) of such texts - and giv...
متن کاملUniversity of Newcastle upon Tyne Computing Science Failures: Their Definition, Modelling and Analysis Bibliographical Details
This paper introduces the concept of a `structured occurrence net', which as its name indicates is based on that of an `occurrence net', a well-established formalism for an abstract record that represents causality and concurrency information concerning a single execution of a system. Structured occurrence nets consist of multiple occurrence nets, associated together by means of various types o...
متن کامل